Nested Concepts
The title is too abstract for what I'm writing, so I'll change it when I come up with a better title.
https://gyazo.com/48f20d6230d96ed0bcefa418fda4afb5
It is associated with several concepts
There are additional stories not mentioned in those.
When person 1, who is thinking of X in the narrow sense, is speaking on the assumption that "the elements of X are A", person 2, who is thinking of X in the broad sense, thinks "1 is speaking on the assumption that 'the elements of X are A', which is wrong, let me tell you".
When person 2, who is thinking of X in the broad sense, asserts that there are elements of X that are not A, person 1, who is thinking of X in the narrow sense, thinks, "There is obviously no such thing, person 2 is wrong, let me tell you."
what is said is complex
I've been trying to express myself without using natural language as much as possible, but when I do it this time
$ \forall x\in X, x\in A v.s. $ \exists x\in X, x\notin A
be composed as follows
Hmmm, well, but if you put it together with the diagram, can you figure it out even if you're not good at math? (Understand?)
relevance
---
This page is auto-translated from /nishio/入れ子の概念 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.